Formal Coordination of Communicating Entities described with Behavioural Interfaces
نویسندگان
چکیده
The interaction paradigm is the foundation of many practical and theoretical computational issues. Roughly speaking, interaction involves communicating entities which evolve in parallel and may synchronize together. Communicating entities are usually viewed through public interfaces due to their black-box foundation. It is now widely accepted that such interfaces have to take into account behavioural information. In this report, we survey existing formal and abstract means to describe coordination of entities with behavioural interfaces, and we illustrate their use on simple e-business examples. We end with a comparison of such coordination means.
منابع مشابه
Adaptation for Hierarchical Components and Services
Software coordination and adaptation are tightly related to modular software entities and access points. These entities (components or services) may be complex, dissimilar (various models) and designed at different granularity levels. In order to allow interoperability we need rich interface descriptions including service hierarchisation, flexible declarations and precise specifications. In thi...
متن کاملرویکردی متفاوت به روانپزشکی : دیدگاه پروفسورگری
This article starts with a brief educational beckground and achivements of Professor Gray, Head of the Department of Psychology, Institute of Psychiatry, University of London. Gray's long standing research leads him to a neuropsychological framework for the classification of psychiatric disorder. Gray believes psychiatry is a branch of medicine and is concerned with behaviour disorder and psyc...
متن کاملInteraction Patterns for Communicating Processes
Interaction dynamics describe the way entities relate and communicate with one another. Just as people interact in a variety of ways, communicating processes, such as software components, can also interact in many and highly complex ways. The software world is filled with examples of systems utilizing processes, objects, components, device drivers and entities by other names -interconnected in ...
متن کاملVariable Structure Behavioural Controller for Multi-agent Systems
In previous papers authors have considered agents as inertia-less self driven particles and designed a flocking algorithm. Application of this algorithm to agents with considerable inertial characteristics needs a behavioural controller. The controller uses the local information and helps every agent to imitate the desired behaviour as a member of the flocking frame which covers the main is...
متن کاملVerification of Communication Protocols Based on Formal Methods Integration
Communication protocols define the set of rules needed to exchange messages between communicating entities. Networked and distributed systems, built around communicating protocols, are widely used nowadays. Since such systems are often deployed in safety-critical applications, confidence in protocol correctness is highly required. We propose an approach based on formal method integration to sup...
متن کامل